13 results
Dyadic Existential Rules
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 2 / March 2024
- Published online by Cambridge University Press:
- 24 August 2023, pp. 227-249
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
I-DLV-sr: A Stream Reasoning System based on I-DLV
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 23 September 2021, pp. 610-628
-
- Article
- Export citation
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 4 / July 2021
- Published online by Cambridge University Press:
- 29 July 2021, pp. 402-403
-
- Article
-
- You have access
- Export citation
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 864-879
-
- Article
- Export citation
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 958-973
-
- Article
- Export citation
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 1073-1089
-
- Article
- Export citation
Sunspot data collection of Specola Solare Ticinese in Locarno
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 13 / Issue S340 / February 2018
- Published online by Cambridge University Press:
- 27 November 2018, pp. 129-132
- Print publication:
- February 2018
-
- Article
-
- You have access
- Export citation
Finite model reasoning over existential rules*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 24 August 2017, pp. 726-743
-
- Article
- Export citation
Taming primary key violations to query large inconsistent data via ASP
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 696-710
-
- Article
- Export citation
Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 1 / January 2016
- Published online by Cambridge University Press:
- 16 March 2015, p. 139
-
- Article
-
- You have access
- Export citation
Combining decidability paradigms for existential rules
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 877-892
-
- Article
- Export citation
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 4-5 / July 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 701-718
-
- Article
- Export citation
Consistent query answering via ASP from different perspectives: Theory and practice
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 25 January 2012, pp. 227-252
-
- Article
- Export citation